int b2() { return 12; }